Developing Smart Card-Based Applications Using Java Card

نویسندگان

  • Jean-Jacques Vandewalle
  • Eric Vétillard
چکیده

In this paper we describe a methodology for developing smart card-based applications which accounts for both internal and external software production: on-card and client programs. This development methodology is based on the application of distributed object-oriented principles to Java Card. We design a model in which a card application is viewed as a remote object accessed through method invocations handled by a proxy object executing on the terminal. With a simple example, we show how this model enhances the development of smart card-based applications by allowing Java programmers to rapidly design and develop on-card and oo-card programs without worrying about the speciic smart card features. This scheme has been implemented as the core technology in the Gemplus Java Card application development environment GemX-presso RAD. 1 Background and Objectives In this section we review the emergent and promising open smart card development platform based on the Java Card speciication. We give an overview of the processes involved in the creation of a Java Card-based application. We outline the limits of the Java Card speciication as a model for the interaction between Java Card applets and the outside world. We then show how this limit has brought us to deene a development methodology based on distributed object-oriented principles applied to Java Cards. During the past twenty years smart cards have evolved from simple dedicated devices (phone cards, french \Carte Bleue") to open computing platforms 14, ? Java and Java Card are trademarks of Sun Microsystems Inc. GemXpresso RAD is a trademark of Gemplus. All other product names mentionned herein are the trademarks of their respective owners.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Developing Java Card Applications with B

This work proposes a methodology for the rigorous development of Java Card smart card applications, using the B Method. Its main feature is to abstract the particularities of Java Card and smart card aware applications from the specifier as much as possible. In the proposed approach, the specification of the aplication logic needs not be preoccupied with the specific aspects of the Java Card pl...

متن کامل

Java Card for PayTv Application

Smart cards are widely used along with PayTV receivers to store secret user keys and to perform security functions to prevent any unauthorized viewing of PayTV channels. Java Card technology enables programs written in the Java programming language to run on smart cards. Smart cards represent one of the smallest computing platforms in use today. The memory configuration of a smart card are of t...

متن کامل

A Friendly Framework for Hidding fault enabled virus for Java Based Smartcard

Smart cards are the safer device to execute cryptographic algorithms. Applications are verified before being loaded in the card. Recently, the idea of combined attacks to bypass byte code verification has emerged. Indeed, correct and legitimate Java Card applications can be dynamically modified on-card using a laser beam to become mutant applications or fault enabled viruses. We propose a frame...

متن کامل

Security Risks of Java Cards

As early as the 1980s, France issued smart cards for their Public Telephone and Telegraph (PTT) system. Only recently have smart cards begun penetrating the commercial market in North America. With the introduction of Java Card 2.0 (hereafter referred to simply as Java Card), interest in smart cards for commercial applications in North America appears certain to grow. The key innovation that Ja...

متن کامل

Using test hypotheses to build a UML model of object-oriented smart card applications

Using test to validate conformance of Java Card applications needs to take into account objectoriented specificity of the model and the implementation. In this article, we propose a method which integrates test hypotheses in order to build a UML model of Java Card applications. For each hypothesis, we describe how we can use it in order to obtain a model which is test oriented, and as most as p...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1998